Living with the Law: Can Automation Give Us Moore for Less?
نویسندگان
چکیده
Multi-core programming presents developers with a dramatic paradigm shift. Whereas sequential programming largely allowed the decoupling of source from underlying architecture, it is now impossible to develop new patterns and abstractions in isolation from issues of modern hardware utilization. Synchronization and coordination are now manifested at all levels of the software stack, and developers currently lack the essential tools to even partially automate reasoning techniques and system configuration management. As a first stage to addressing this problem, this paper proposes a framework for a tool suite designed to partially automate the acquisition and management of static system visualization in a feedback loop with dynamic execution properties. This model enables developers to find a best fit system configuration, potentially reconciling resource contention and utilization tensions that are critical to multi-core platforms. The application of a prototype of this suite, Déjà View, demonstrates how tool support can aid reasoning about causally related sets of changes across system artifacts. KeywordsVisualization; multi-core; configuration.
منابع مشابه
Welcome to virosphere
Viruses may seem alien, but they are the most abundant and, arguably, the most important organisms on Earth. They are found just about everywhere, from oceans and forests to the people around you and, of course, in and on you as well. This world of strange, quasi-living things has been dubbed the virosphere, and it is a mysterious one – we know less about viruses than any other life form. But t...
متن کاملThe reverse order law for Moore-Penrose inverses of operators on Hilbert C*-modules
Suppose $T$ and $S$ are Moore-Penrose invertible operators betweenHilbert C*-module. Some necessary and sufficient conditions are given for thereverse order law $(TS)^{ dag} =S^{ dag} T^{ dag}$ to hold.In particular, we show that the equality holds if and only if $Ran(T^{*}TS) subseteq Ran(S)$ and $Ran(SS^{*}T^{*}) subseteq Ran(T^{*}),$ which was studied first by Greville [{it SIAM Rev. 8 (1966...
متن کاملA New Tri-Parametrical Law of Corresponding States for Subcritical Dense Fluids
This article introduces a new tri-parameter law of corresponding states from the known regularities, namely the LIR and Zeno line for dense fluids (when Tz=Tc). Two of these parameters are the Zeno line parameters and the third parameter (the fluid parameter), has been obtained from the LIR, this parameter is solely dependent upon the fluid characteristics. The third parameter ca...
متن کاملHermitian solutions to the system of operator equations T_iX=U_i.
In this article we consider the system of operator equations T_iX=U_i for i=1,2,...,n and give necessary and suffcient conditions for the existence of common Hermitian solutions to this system of operator equations for arbitrary operators without the closedness condition. Also we study the Moore-penrose inverse of a ncross 1 block operator matrix and. then gi...
متن کاملMRA parseval frame multiwavelets in L^2(R^d)
In this paper, we characterize multiresolution analysis(MRA) Parseval frame multiwavelets in L^2(R^d) with matrix dilations of the form (D f )(x) = sqrt{2}f (Ax), where A is an arbitrary expanding dtimes d matrix with integer coefficients, such that |detA| =2. We study a class of generalized low pass matrix filters that allow us to define (and construct) the subclass of MRA tight frame multiwa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009